- формулировать теорему
- Mathematics: formulate a theorem
Универсальный русско-английский словарь. Академик.ру. 2011.
формулировать теорему
Смотреть что такое "формулировать теорему" в других словарях:
Теорема Римана об отображении — У этого термина существуют и другие значения, см. Теорема Римана. Теорема Римана об отображении (в комплексном анализе именуемая просто теоремой Римана) важнейший факт 2 мерной конформной геометрии и одномерного комплексного анализа. Пусть… … Википедия
МЕТРИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ — раздел теории чисел, в к ром изучаются и метрически (т. е. на основе теории меры )характеризуются множества чисел, обладающих определенными арифметич. свойствами. М. т. ч. тесно связана с теорией вероятностей, что иногда дает возможность… … Математическая энциклопедия
ПИКАРА ТЕОРЕМА — 1) П. т. о поведении аналитической функции f(z) комплексного переменного zв окрестности существенно особой точки а название результата классич. теории функций, явившегося отправным пунктом многочисленных глубоких исследований и состоящего из двух … Математическая энциклопедия
рамсей-элиминация — РАМСЕЙ ЭЛИМИНАЦИЯ (от лат. eliminare изгонять) метод, позволяющий на основании дедуктивной систематизации, полученной с помощью теоретических терминов, осуществить эту систематизацию без теоретических терминов. Метод основывается на… … Энциклопедия эпистемологии и философии науки
условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… … Словарь терминов логики
Эстетика — составляет особую отрасль философии, занимающуюся красотой и искусством. Самый термин Э. происходит от греческого αίσθετικός, что значит чувственный, и в таком смысле встречается еще у самого основателя науки о прекрасном, Канта, в Критике… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ПЛАТОН — (nlato) (427 347 до н.э.) др. греч. мыслитель, наряду с Пифагором, Парменидом и Сократом родоначальник европейской философии, глава филос. школы Академия. Биографические данные. П. представитель аристократического семейства, принимавшего активное … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы … Философская энциклопедия
